<html>
<body>
报告始终为 <code>true</code> 或 <code>false</code> 的条件以及值被静态证明为常量的表达式。
<p><b>示例：</b></p>
<pre><code>
  void process(State current) {
    current = State::Started;

    if (current == State::Stopped) {
        //代码
    }
    //代码
  }
</code></pre>
</body>
</html>